-
1 programmas korektuma pierādījums
▪ Terminien program correctnes proof inf.lv Formāls matemātisks pierādījums tam, ka programmas semantika atbilst tām prasībām, kas ietvertas programmas specifikācijāru доказательство правильности программыLZAit▪ EuroTermBank terminiInf, Kom, ITru доказательство правильности программыETB